H ?
«
‹
←
→
›
»
Language peer sets for CSP + T:
Australia↑
Australia/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
CSP + T(ID:6812/csp008)
CSP with complex event timings
alternate simple view
Country: Australia
Designed 1986
for CSP + Time
"Adds expressive power to some of the sequential aspects of CSP and allows the description of complex event timings from within a single sequential process"
Related languages
CCS |
→
|
CSP + T | |
Influence |
CSP |
→
|
CSP + T | |
Augmentation of |
CSP + T |
→
|
TCSP | |
Evolution of |
References:
Zic, J. (1986) Zic, J. 1986. A new cornmumcation protocol specification and analysls technique Tech Rep TR287 (July), Basser Dept. of Computer Science, Umv. of Sydney, Sydney. Aus
Zic, J J. (1991) Zic, J J. 1991. CSP + T: A formallsm for descrbing real-time systems Ph D. Thesis, Basser Dept of Computer Science, Univ. of Sydney, Sydney, Aus.
Zic, John J. (1994) Zic, John J. "Time-constrained buffer specifications in CSP + T and timed CSP" ACM Transactions on Programming Languages and Systems (TOPLAS) 16(6) November 1994 pp1661-1674
Abstract
DOI
Extract:
Introduction
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|